Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
311	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-10-22 13:47:39 Software engineering Computability theory Eval Scheme Env Combinatory logic Computing Lambda calculus Theoretical computer science
312	Course List for Cross-Institutional Course Enrolment Scheme (2nd Semester, Institution: City University of Hong Kong Subject Code Add to Reading List Source URL: www.cityu.edu.hk Language: English - Date: 2014-12-10 06:51:48 Digital technology Literacy New literacies City University of Hong Kong ALGOL 68 Hong Kong Programming language theory Computing
313	LIMITS OF ALGEBRAIC SPACES Contents 1. Introduction 2. Conventions 3. Morphisms of finite presentation Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:09:13 Algebraic geometry Scheme theory Topos theory Category theory Algebraic space Étale morphism Grothendieck topology Proper morphism Coherent sheaf Abstract algebra Algebra Sheaf theory
314	Capital Malleability, Emission Leakage and the Cost of Partial Climate Policies: General Equilibrium Analysis of the European Union Emission Trading System Elisa Lanzi1 Environment Dept. Add to Reading List Source URL: people.bu.edu Language: English - Date: 2013-01-25 15:55:05 Carbon finance Environmental economics Emissions trading Computable general equilibrium European Union Emission Trading Scheme Climate change mitigation Kyoto Protocol General equilibrium theory Economics of global warming Climate change policy Environment Climate change
315	A Guide to Personal Wealth Management Guide to Wealth.qxd[removed] Add to Reading List Source URL: www.allianceinvest.com Language: English - Date: 2009-07-22 14:30:53 Asset allocation Investment management Portfolio Collective investment scheme Investment strategy Risk-return spectrum Financial risk Risk parity Dedicated Portfolio Theory Financial economics Investment Finance
316	A Theory of Typed Hygienic Macros A dissertation presented by David Herman Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-05-03 16:39:35 Dylan programming language Hygienic macro Meta-programming Scheme programming language Macro Scheme William Clinger I Thank You Computer programming Computing Software engineering
317	Course List for Cross-Institutional Course Enrolment Scheme (2nd Semester, Institution: City University of Hong Kong Subject Code Add to Reading List Source URL: www.cityu.edu.hk Language: English - Date: 2014-12-15 03:36:20 Linguistic rights Languages of Hong Kong City University of Hong Kong Sham Shui Po District Yau Yat Tsuen Standard Chinese Medium of instruction Chinese language ALGOL 68 Hong Kong Culture Programming language theory
318	1 Secure Random Linear Code Based Public Key Encryption Scheme RLCE Yongge Wang KINDI Center for Computing Research Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-03-31 03:22:40 Public-key cryptography Finite fields Electronic commerce McEliece cryptosystem Post-quantum cryptography Goppa code Linear code Reed–Solomon error correction Forward error correction Cryptography Coding theory Error detection and correction
319	AM 255: Problem Set 3 Douglas Lanman 5 October 2006 Problem 1 Prove that the θ scheme Add to Reading List Source URL: mesh.brown.edu Language: English - Date: 2006-10-05 12:43:22 Sinc function Finite difference Differential geometry Ordinary differential equations Spectral theory Spectral theory of ordinary differential equations Mathematical analysis Mathematics Symbol
320	Tools for Automatic Interface Generation in Scheme Augustin Lux Pro ject Orion INRIA - Sophia Antipolis, France Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Cross-platform software Procedural programming languages C++ Object-oriented programming Type theory ALGOL 68 C++ classes C D Software engineering Computing Computer programming

UPDATE